481. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
482. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده : A. Miola, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
483. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده : A. Miola, )Ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
484. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
485. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. ]CD[
پدیدآورنده : Alfonso Miola, ed
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA76
.
9
.
S88
I576
1993
486. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده : Jacques Calmet, Carla Limongelli, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
487. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
پدیدآورنده : John Fitch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
721
488. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
پدیدآورنده : Jacque Calmet, Carla Limongelli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1128
489. Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
پدیدآورنده : Alfonso Miola )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
722
490. Developments in Reliable Computing
پدیدآورنده : edited by Tibor Csendes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science.,Electronic data processing.
491. Differential and Integral Equations through Practical Problems and Exercises
پدیدآورنده : by Gheorghe Micula, Paraschiva Pavel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing.,Integral equations.,Mathematics.
492. Differential equation analysis in biomedical science and engineering :
پدیدآورنده : William E. Schiesser, Department of Chemical Engineering, Lehigh University, Bethlehem, PA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biomathematics.,Biomedical engineering-- Mathematics.,Bioreactors-- Data processing.,Differential equations.,Biomedical Engineering.,Computer Simulation.
رده :
R857
.
M34
493. Differential equation analysis in biomedical science and engineering
پدیدآورنده : / William E. Schiesser, Department of Chemical Engineering, Lehigh University, Bethlehem, PA
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Biomedical engineering--Mathematics,Biomathematics.,Bioreactors--Data processing,Differential equations.,Mathematical Computing.
رده :
R857
.
M34O34
2014
494. Differential equations with boundary value problems: an introduction to modern methods and applications
پدیدآورنده : Brannan, James R.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Data processing ، Engineering mathematics,Data processing ، Boundary value problems,Numerical solutions Data processing ، Differential equations
رده :
TA
331
.
B73
495. Digital Signal Processsing Using MATLAB for Students and Researchers
پدیدآورنده : / John W. Leis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MATLAB,Signal processing, Digital techniques,Signal processing, Mathematics, Data processing
رده :
TK5102
.
9
.
L4525
2011
496. Digital Signal Processsing Using MATLAB for Students and Researchers
پدیدآورنده : / John W. Leis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MATLAB,Signal processing, Digital techniques,Signal processing, Mathematics, Data processing
رده :
TK5102
.
9
.
L4525
2011
497. Digital signal processing using MATLAB : a problem solving companion
پدیدآورنده : Ingle, Vinay K.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، MATLAB,، Signal processing -- Digital techniques,، Signal processing -- Digital techniques -- Mathematics,Data processing ، Signal processing -- Digital techniques
رده :
TK
5102
.
9
.
I53D5
2017
498. Digital signal processing using MATLAB for students and researchers
پدیدآورنده : / John W. Leis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Signal processing -- Digital techniques,Signal processing -- Mathematics -- Data processing,Numerical analysis -- Computer programs,MATLAB
رده :
621
.
38220285
L532d
499. Digital signal processing using MATLAB for students and researchers
پدیدآورنده : John W. Leis
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Signal processing, Digital techniques,Signal processing, Mathematics, Data processing,MATLAB,SCIENCE / Waves & Wave Mechanics, bisacsh
رده :
TK
،
5102
,.
9
،.
L45
،
2011